Geometric Algebra: A Foundation of Elementary Geometry with possible Applications in Computer Algebra based Dynamic Geometry Systems
نویسنده
چکیده
Geometric Algebra is a very general mathematical system providing simultaneously a geometrification of algebra, and also an algebrification of geometry. As an example, we present a specific Geometric Algebra, that we call Compass Ruler Algebra, which is very well suited to compute similar to working with compass and ruler. Geometric objects such as circles and lines as well as geometric operations with them can be handled very easily inside of the algebra. Gaalop is an easy to handle tool in order to compute and visualize with Compass Ruler Algebra. While a computer algebra system is responsible for the symbolic computations, its visualizing component offers basic DGS (Dynamic Geometry System) functionality.
منابع مشابه
Parleda: a Library for Parallel Processing in Computational Geometry Applications
ParLeda is a software library that provides the basic primitives needed for parallel implementation of computational geometry applications. It can also be used in implementing a parallel application that uses geometric data structures. The parallel model that we use is based on a new heterogeneous parallel model named HBSP, which is based on BSP and is introduced here. ParLeda uses two main lib...
متن کاملAutomated Theorem Proving in the Homogeneous Model with Clifford Bracket Algebra
A Clifford algebra has three major multiplications: inner product, outer product and geometric product. Accordingly, the same Clifford algebra has three versions: Clifford vector algebra, which features on inner products and outer products of multivectors; Clifford bracket algebra, which features on pseudoscalars and inner products of vectors; Clifford geometric algebra, which features on geome...
متن کاملComputing Locus Equations for Standard Dynamic Geometry Environments
GLI (Geometric Locus Identifier), an open web-based tool to determine equations of geometric loci specified using Cabri Geometry and The Geometer’s Sketchpad, is described. A geometric construction of a locus is uploaded to a Java Servlet server, where two computer algebra systems, CoCoA and Mathematica, following the Groebner basis method, compute the locus equation and its graph. Moreover, an...
متن کاملReal-time Animated Dynamic Geometry in the Classrooms by Using Fast Gröbner Basis Computations
The third millennium renaissance of elementary geometry by harnessing software applications in the classroom is already a history. By introducing dynamic geometry systems like The Geometer’s Sketchpad, Cabri or Cinderella the high number of mechanical numerical computations enabled students to make their own experiments with geometric objects easy. Today’s computers go one step forward. Not onl...
متن کاملGeo-Relational Algebra: A Model and Query Language for Geometric Database Systems
The user's conceptual model of a database system for geometric data should be simple and precise: easy to learn and understand, with clearly defined semantics, expressive: allow to express with ease all desired query and data manipulation tasks, efficiently implementable. To achieve these goals we propose to extend relational database management systems by integrating geometry at all levels: At...
متن کامل